Time and Modality in Avicennan Logic

time and modality in avicennan logic

one ef the most important innovations in the history ef traditional logic is the avicena's theory ef temporal modalities (.atm). althottgh) the basic concepts and elements ef this theory are fottnded in aristotelian and stoic-lvlegarian !0 gic) but as a independent lo,gical system, are devised on/y fry avicenna and were later developed and completed fry his followers. the atm theory contai...

De re and De dicto Modality in Islamic Traditional Logic

de re and de dicto modality in islamic traditional logic

0

Constraint Logic Programming and Logic Modality for Event's Valid-time Approximation

The Temporal Probabilistic (TP) Database management systems should provide support for valid-time indeterminacy of events, by proposing the concept of an indeterminate instant, that is, an interval of time-points (event’s time-window) with an associated, lower and upper, probability distribution. In particular, users should be able to control, via query language constructs, the amount of tempor...

Modality, Bisimulation and Interpolation in Infinitary Logic

Rohit Parikh has been one of the pioneers at the interface of modal and dynamic logic. Bringing dynamic, process-oriented concerns into modal logic has been a major move, whose repercussions are still being felt today. In this contribution, I consider the bridge concept of bisimulation, which links modal logic with computational process theories. Our main results show how its model-theoretic in...

Modality, Si! Modal Logic, No!

This article is oriented toward the use of modality in arti cial intelligence AI An agent must reason about what it or other agents know believe want intend or owe Referentially opaque modalities are needed and must be formalized correctly Unfortunately modal logics seem too limited for many important purposes This article contains examples of uses of modality for which modal logic seems inadeq...